Domain engineering - PDFSEARCH.IO - Document Search Engine

Domain engineering
Results: 1173

#	Item
171	Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal Nicolas Palix Charles Consel INRIA / LaBRI, Talence, France Add to Reading List Source URL: www.diku.dk Language: English - Date: 2008-12-05 05:18:44 Component-based software engineering Inter-process communication Object-oriented programming CORBA Common Object Request Broker Architecture Bluetooth Service-oriented architecture Operating system Event Computing Software engineering Technology
172	MetaPlot, MetaContour, and Other Collaborations with METAPOST Brooks Moses Mechanical Engineering, Stanford University, Building 520, Stanford, CA 94305 Add to Reading List Source URL: mirror.math.ku.edu Language: English - Date: 2004-07-01 13:22:00 Computing MetaPost PostScript Public domain software Cartesian coordinate system Plot Euclidean vector Mathematics Algebra Vector graphics markup languages
173	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
174	COST Domain Committee "Information & Communication Technologies” COST Action IC1003 Start Date 8 November 2010 Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2013-05-10 11:39:12 Engineering Television Codecs 3D imaging Display technology Stereoscopic Displays and Applications Quality of experience Video quality 3D television Imaging Stereoscopy Digital television
175	IANA Plenary Report Michelle Cotton Manager, IANA Services ICANN July 2012 IETF-84, Vancouver Add to Reading List Source URL: iaoc.ietf.org Language: English - Date: 2013-04-23 17:49:34 Computing Internet Assigned Numbers Authority Domain Name System Security Extensions Request for Comments Internet Draft Internet Engineering Steering Group Internet Engineering Task Force Transmission Control Protocol Internet Internet standards Internet governance
176	Time Domain Gating for Short Circuited Reflection Measurements Sean Richards Adrian Tan Ian Platt Add to Reading List Source URL: www.lincolnagritech.co.nz Language: English - Date: 2014-07-08 23:15:09 Electrophysiology Gating Logic simulation Electronic engineering Electronic design automation Cell communication
177	Poster: “Quilt: A system for distributed queries of security-relevant data” Dr. Timothy Shimeall and George M. Jones and Derrick H. Karimi CERT/Software Engineering Institute Carnegie-Mellon University Pittsburgh, Pe Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-05-17 10:01:51 Computer network security Internet protocols Phishing Social engineering Spamming DNS spoofing Intrusion detection system Domain Name System Database Computing Cybercrime Internet
178	MetaPlot, MetaContour, and Other Collaborations with METAPOST Brooks Moses Mechanical Engineering, Stanford University, Building 520, Stanford, CA 94305 Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2004-07-01 13:22:00 Computing MetaPost PostScript Public domain software Cartesian coordinate system Plot Euclidean vector Mathematics Algebra Vector graphics markup languages
179	MetaPlot, MetaContour, and Other Collaborations with METAPOST Brooks Moses Mechanical Engineering, Stanford University, Building 520, Stanford, CA 94305 Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 2004-07-01 13:22:00 Computing MetaPost PostScript Public domain software Cartesian coordinate system Plot Euclidean vector Mathematics Algebra Vector graphics markup languages
180	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language

UPDATE